# 例8.4 m-.n := max{m-n,0} 
# M=({q0,q1,...q6},{0,1},{0,1,B},δ,q0,B)

TRANSITION:
q0 0 q1 B R
q0 1 q5 B R
q1 0 q1 0 R
q1 1 q2 1 R
q2 0 q3 1 L
q2 1 q2 1 R
q2 B q4 B L
q3 0 q3 0 L
q3 1 q3 1 L
q3 B q0 B R
q4 0 q4 0 L
q4 1 q4 B L
q4 B q6 0 R
q5 0 q5 B R
q5 1 q5 B R
q5 B q6 B R

INIT_STATE:
q0

BLANK:
B

TAPE:
# 表示20 - 10。最终tape上将剩下10个0。
0000000000000000000010000000000B
